481. Reviews in computational chemistry.
المؤلف: edited by Kenny B. Lipkowitz and Donald B. Boyd.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Chemistry-- Data processing.,Chemistry-- Mathematics.,Chemistry-- Data processing.,Chemistry-- Mathematics.,Kwantumchemie.,Moleculaire dynamica.,SCIENCE-- Chemistry-- Clinical.
رده :
QD39
.
3
.
E46
R48
1994eb
482. 14, 2011. Revised Selected Papers, Part I-Parallel Processing and Applied Mathematics: 9th International Conference, PPAM 2011, Torun, Poland, September 11
المؤلف: / Jerzy Waniewski (auth.), Roman Wyrzykowski, Jack Dongarra, Konrad Karczewski, Jerzy Waniewski (eds.)
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: ARCHITECTURE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY&COMPUTER SCIENCE, HARDWARE
رده :
E-BOOK
483. Runtime verification :
المؤلف: Christian Colombo, Martin Leucker (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer software-- Testing, Congresses.,Computer software-- Verification, Congresses.,Formal methods (Computer science), Congresses.,Computer programming-- software development.,Computer software-- Testing.,Computer software-- Verification.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Information technology: general issues.,Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.,Systems analysis & design.
رده :
QA76
.
76
.
V47
484. Scalable uncertainty management :
المؤلف: Davide Ciucci, Gabriella Pasi, Barbara Vantaggi (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Uncertainty (Information theory), Congresses.,Artificial Intelligence.,Logics and Meanings of Programs.,Mathematical Logic and Formal Languages.,Probability and Statistics in Computer Science.,Programming Languages, Compilers, Interpreters.,Programming Techniques.,Artificial intelligence.,Computer programming-- software development.,Computers-- Intelligence (AI) & Semantics.,Computers-- Mathematical & Statistical Software.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Mathematical theory of computation.,Mathematics-- Logic.,Maths for computer scientists.,Programming & scripting languages: general.,Uncertainty (Information theory)
رده :
Q375
485. Scheduling of Resource-Constrained Projects
المؤلف: by Robert Klein.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Mathematical optimization.,Mathematics.
487. Scientific Computing with Mathematica®
المؤلف: by Addolorata Marasco, Antonio Romano.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science.,Differential Equations.,Engineering mathematics.,Mathematics.
488. Scientific software systems: Based on the proceedings of the international symposium on scientific software, July 1988
المؤلف: Edited by J. C. Mason and M. G. Cox
المکتبة: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید مدنی آذربایجان (أذربایجان الشرقیة)
موضوع: Mathematics - Data processing - Congresses,Computer software - Congresses
رده :
QA
,
76
.
95
,.
I58
,
1990
489. Security, privacy, and applied cryptography engineering :
المؤلف: Anupam Chattopadhyay, Chester Rebeiro, Yuval Yarom (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer security, Congresses.,Data encryption (Computer science), Congresses.,Computer security.,Data encryption (Computer science)
رده :
QA76
.
9
.
A25
490. Semantic applications :
المؤلف: Thomas Hoppe, Bernhard Humm, Anatol Reibold, editors.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Big data.,Semantic computing.,Semantic Web.,Big data.,COMPUTERS-- General.,Semantic computing.,Semantic Web.
رده :
QA76
.
5913
491. Semismooth Newton Methods for Variational Inequalities and Constrained Optimization Problems in Function Spaces
المؤلف: / Michael Ulbrich
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
492. Sensor network operations /
المؤلف: edited by Shashi Phoha, Thomas LaPorta, Christopher Griffin.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Sensor networks.,Sensor networks.,TECHNOLOGY & ENGINEERING-- Telecommunications.
رده :
TK7872
.
D48
S435
2006eb
493. Simulating complex systems by cellular automata /
المؤلف: Alfons G. Hoekstra, Jiří Kroc, Peter M.A. Sloot, editors.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Cellular automata.,Cellular automata.,Physique.
رده :
QA267
.
5
.
C45
S56
2010
494. Simulation-Based Experiential Learning
المؤلف: edited by Douglas M. Towne, Ton Jong, Hans Spada.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Artificial intelligence.,Computer science.,Computer simulation.
رده :
LB1029
.
S53
E358
1993
495. SmartWatch design fundamentals :
المؤلف: Wallace Jackson.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Android (Electronic resource),Android (Electronic resource),Smartwatches-- Design.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.
رده :
TK7870
496. Software Engineering for Large Software Systems
المؤلف: edited by B.A. Kitchenham.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science.,Software engineering.
رده :
QA76
.
76
.
D47
E358
1990
497. Software Prototyping in Data and Knowledge Engineering
المؤلف: by Giovanni Guida, Gianfranco Lamperti, Marina Zanella.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Artificial intelligence.,Computer science.,Data structures (Computer science).,Software engineering.
498. Software for Roundoff Analysis of Matrix Algorithms
المؤلف: \ Webb Miller, Celia Wrathall
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Matrices -- Data processing,Roundoff errors -- Data processing,ماتریس‌ها -- داده‌پردازی
رده :
E-Book
,
499. Software for roundoff analysis of matrix algorithms
المؤلف: / Webb Miller, Celia Wrathall
المکتبة: مكتبات الكلية التقنية بجامعة طهران (طهران)
موضوع: Matrices - Data processing,Roundoff errors - Data processing
رده :
QA
188
.
M54
500. Software service and application engineering
المؤلف: Maritta Heisel (ed.)
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science-- Mathematics,Software engineering
رده :
QA76
.
758
.
S725
2012eb
